A Monad for Probabilistic Point Processes

A point process on a space is random bag of elements that space. In this paper we explore programming with processes in monadic style. To end identify X probability measures bags X. We describe view using the composition Giry and monads category measurable spaces functions prove also forms monad distributive law for monads. Finally, define morphism from to its intensity measure, show morphism. special case gives us Wald's Lemma, an identity used calculate expected value sum number variables. Using our range operations compositionally compute their corresponding